机译:离散事件系统的建模和定量分析:一种基于状态图的方法
机译:基于UML状态图的实时系统的严格建模
机译:基于UML状态图的实时系统的严格建模
机译:基于UML状态图模型的可靠性关键系统的定量分析
机译:分层计算机系统的可靠性建模和分析。
机译:基于UML的软件开发中的可靠性建模和评估
机译:可靠系统的UML状态图模型的定量分析
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm